#ifndef _ALLOCATOR_H_
#define _ALLOCATOR_H_

#include <stdlib.h>

void vPortInitialize(void * addr, size_t size);
void * pvPortMalloc(size_t size);
void vPortFree(void * ptr);

void AllocatorPanic(const char * message);

#endif
